901. Theory of computational complexity
پدیدآورنده: Du, Dingzhu.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computational complexity
رده :
QA
267
.
7
.
D8
2000
902. Theory of computional complexity
پدیدآورنده: Ding-Zhu Du, Ker-Iko
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع: Computational complexity
903. Think complexity
پدیدآورنده: by Allen B. Downey
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational complexity,Python (Computer program language)
رده :
QA76
.
73
.
P98
.
D69
2012
904. Thinking about G?del and Turing
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: G?del's theorem. ; Incompleteness theorems. ; Logic, Symbolic and mathematical. ; Metamathematics. ; Computational complexity. ;
905. Thinking about G?�del and Turing
پدیدآورنده: / Gregory J Chaitim
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: G?�del's theorem.,Incompleteness theorems.,Logic, Symbolic and mathematical.,Metamathematics.,Computational complexity.
رده :
QA
,
9
.
65
,.
C43
,
2007
906. Time warps, String edits, and macromolecules: The theory and practice of sequence comparison
پدیدآورنده: edited by David Sankoff and Joseph B. Kruskal
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Sequences )Mathematics(,، Pattern perception,، Computational complexity,، Molecular biology,، Speech processing systems
رده :
QA
292
.
T55
1983
907. Time warps, string edits, and macromolecules
پدیدآورنده: ]edited by[ David Sankoff and Joseph B. Kruskal; introduction by John Nerbonne
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Sequences )Mathematics(,، Pattern perception,، Computational complexity,، Molecular biology,، Speech processing systems
رده :
QA
292
.
T55
1999
908. Topics in Cryptology -- CT-RSA 2006
پدیدآورنده: edited by David Pointcheval.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational complexity.,Computer networks.,Computer software.,Data encryption (Computer science),Information networks.,Operating systems (Computers)
909. Topics in engineering mathematics :
پدیدآورنده: edited by Adriaan van der Burgh and Juriaan Simonis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational complexity.,Mathematical optimization.,Mathematics.
910. #Topics in the general theory of structures
پدیدآورنده: #edited by E.R. Caianiello and M.A. Aizerman
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: System analysis ،Computational complexity
رده :
#
QA
،#.
T65
911. Topics in the theory of computation
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computational complexity ; Congresses. ; Machine theory ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
912. Topics in the theory of computation :
پدیدآورنده: edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational complexity-- Congresses,Computer science-- Mathematics-- Congresses,Machine theory-- Congresses
رده :
QA267
.
I56
1983
913. Topics in the theory of computation
پدیدآورنده: / edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computational complexity--Congresses,Machine theory--Congresses,Electronic data processing--Mathematics--Congresses
رده :
QA
,
267
,.
I56
,
1983
914. #Topics in the theory of computation
پدیدآورنده: #edited by Marek Karpinski and Jan van Leeuwen
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Computational complexity- Congresses ،Machine theory- Congresses ،Computer science- Mathematics- Congresses
رده :
#
QA
،#.
I56
،#
1985
915. Tractable reasoning in artificial intelligence
پدیدآورنده: / Marco Cadoli
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Artificial intelligence.,Reasoning--Data processing,Computational complexity.,Approximation theory.
رده :
Q
,
335
,.
C23
,
1995
916. Tractable reasoning in artificial intelligence
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Artificial intelligence. ; Reasoning ; Data processing. ; Computational complexity. ; Approximation theory. ;
917. Transactions on Computational Science VI
پدیدآورنده: / edited by Marina L. Gavrilova, C. J. Kenneth Tan
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science.,Electronic data processing.,Computational complexity.,Differential equations, partial.,Computer science--Mathematics
918. Transactions on Computational Science VIII
پدیدآورنده: edited by Marina L. Gavrilova, C. J. Kenneth Tan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational complexity.,Computer science.,Computer software.,Computer vision.,Information storage and retrieval systems.,Optical pattern recognition.
919. Transactions on Computational Science XI
پدیدآورنده: edited by Marina L. Gavrilova, C. J. Kenneth Tan, Edward David Moreno.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Coding theory.,Computational complexity.,Computer networks.,Computer science.,Computer software.,Data encryption (Computer science)
920. Transactions on computational science.
پدیدآورنده:
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Science--Data processing,Technology--Data processing,Computational complexity
رده :
Q
183
.
9
.
T729
2008
